On the Relationship of Event Order Logic and Linear Temporal Logic
نویسندگان
چکیده
In recent work [1, 2] we have proposed the event order logic (EOL) which is used to reason about the occurrence and order of events in formal system models. In this paper we will discuss the relationship of the event order logic and the linear temporal logic and further more show how EOL formulas can be translated into LTL formulas.
منابع مشابه
Active Monitoring using Real-time Metric Linear Temporal Logic Specifications
Monitoring temporal relationships among events in event streams has wide scale applicability in health information systems. From detecting violations of privacy policies in message sequences to diagnosing conditions in physiological data streams real-time event monitoring of temporal invariants is becoming an important tool for system design. We developed an Active Real-Time Event Monitoring an...
متن کاملLinear-Time Temporal Logic Control of Discrete Event Systems
A Discrete Event System (DES) is a dynamic system that evolves in accordance with the instantaneous occurrence, at possibly unkown intervals, of physical events. Given a DES, its behavior (the sequence of displayed events) may not satisfy a set of logical performance objectives. The purpose of Supervisory Control is to restrict that behavior in order to achieve those objectives. Linear-Time Tem...
متن کاملOn the compactness property of extensions of first-order G"{o}del logic
We study three kinds of compactness in some variants of G"{o}del logic: compactness,entailment compactness, and approximate entailment compactness.For countable first-order underlying language we use the Henkinconstruction to prove the compactness property of extensions offirst-order g logic enriched by nullary connective or the Baaz'sprojection connective. In the case of uncountable first-orde...
متن کاملLinear Temporal Type Theory for Event-based Reactive Programming
Inspired by the Curry-Howard correspondence between Functional Reactive Programming (FRP) and Linear-time Temporal Logic (LTL), this paper applies temporal types to describe a functional, event-driven language with an underlying event queue. The result is a compelling abstraction for linear computations with temporal types. We present a toy surface language for event-based GUIs and give some ex...
متن کاملExtension of Logic regression to Longitudinal data: Transition Logic Regression
Logic regression is a generalized regression and classification method that is able to make Boolean combinations as new predictive variables from the original binary variables. Logic regression was introduced for case control or cohort study with independent observations. Although in various studies, correlated observations occur due to different reasons, logic regression have not been studi...
متن کامل